inl $x$ \textbf{is Primitive}